Domain-specific language - PDFSEARCH.IO - Document Search Engine

Domain-specific language
Results: 482

#	Item
231	Programming Many-core Systems with Embedded Domain Specific Languages Satnam Singh Add to Reading List Source URL: ulf.wiger.net Language: English - Date: 2008-02-20 06:04:57 Programming language theory VHDL Verilog Domain-specific language Haskell Field-programmable gate array Hardware description languages Software engineering Computing
232	Verification of Faust Signal Processing Programs in C OQ Emilio Jes´us Gallego Arias Olivier Hermant Pierre Jouvelot Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-22 05:49:10 Formal methods FAUST Logic in computer science Mathematics Formal verification Correctness Domain-specific language Digital signal processing Theoretical computer science Applied mathematics Electronic engineering
233	A Synchronous Programming in Audio Processing: A Lookup Table Oscillator Case Study KARIM BARKATI and PIERRE JOUVELOT, CRI, Mathématiques et systèmes, MINES ParisTech, France Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-31 05:29:15 Software Software synthesizers Programming paradigms Electronic music Visual programming languages Synchronous programming language Domain-specific language SuperCollider Programming language Computing Software engineering Audio programming languages
234	Verification of Faust Signal Processing Programs in C OQ Emilio Jes´us Gallego Arias Olivier Hermant Pierre Jouvelot Add to Reading List Source URL: feever.fr Language: English - Date: 2015-01-20 16:24:56 Formal methods FAUST Logic in computer science Mathematics Formal verification Correctness Domain-specific language Digital signal processing Theoretical computer science Applied mathematics Electronic engineering
235	System testing scientific software Science Day Torkild Ulvøy Resheim • Add to Reading List Source URL: www.eclipsecon.org Language: English - Date: 2015-04-13 09:25:44 Mylyn Domain-specific language Digital subscriber line Workbench Software Computing Eclipse
236	Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language Julia L. Lawall,1 Herv´e Duchesne,2 Gilles Muller,2 Anne-Fran¸coise Le Meur3 1 DIKU, University of Copenhagen, Denmark Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:25:21 Process Operations research Planning Process state Modularity Kernel Blocking Aspect-oriented software development Real-time computing Computing Scheduling Concurrent computing
237	MATHIAS GUENTER RICKEN EDUCATION Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2015-05-02 11:06:22 Actor model Concurrent computing Programming language Java Object-oriented programming Domain-specific language Software design pattern Scala Software development methodology Computing Software engineering Computer programming
238	A Programming Language for Developing Interactive Web Services Claus Brabrand B R ICS , University of Aarhus, Denmark Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-04 09:29:09 Domain-specific language Parser generators GNU General Public License Programming language DSL Digital subscriber line Yacc Computing Open content Software
239	Use of Domain-Specific Modeling with Model-Based Testing Juha-Pekka Tolvanen, PhD, MetaCase Stephan Schulz, PhD, Conformiq 1 Add to Reading List Source URL: ucaat.etsi.org Language: English - Date: 2013-12-13 08:51:31 Domain-specific language Domain-specific modeling Modeling language Domain Problem domain Abstraction Model-driven engineering Executable UML Software engineering Systems engineering Computing
240	A Delta-Driven Execution Model for Semantic Computing Roly Perera Jeff Foster György Koch Add to Reading List Source URL: dynamicaspects.org Language: English - Date: 2008-02-15 13:43:58 Programming paradigms Object-oriented programming Cross-platform software Models of computation Dataflow Function Programming language Domain-specific language Java Software engineering Computing Computer programming

UPDATE